- 中国宇航出版社(1)
- 中国宇航出版社(1)
- 机械工业出版社(1)
- 机械工业出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 机械工业出版社(1)
- 机械工业出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 中国宇航出版社(1)
- 中国宇航出版社(1)
-
吴文俊全集 数学机械化 5
¥214.6(7.2折)定价:¥298.0本卷收录了吴文俊在数学机械化领域发表的46篇论文,内容包括:几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用...
-
机械设计课程设计指导书(3D版)
¥32.9(7.3折)定价:¥45.0本书对机械设计课程设计的基本内容和步骤以及课程设计过程中容易出现的多种结构错误或不合理问题做了详细阐述。全书共21章,共分两篇,第1篇为机械设计课程设计指导,以减速器设计为例,着重介绍一般机械传动装置的方案选择、典型传动件的结构及承载能力设计方法和步骤;第2篇为机械设计常用标准、规范、课程设计参考图例及其他设计资料。 本书重点突出,图形准确,叙述严谨,可作为高等院校机械类、近机械类和非机械类各专业机械设计课程设计及机械设计基础课程设计